Himpunan penyelesaian persamaan linear satu variabel